翻訳と辞書
Words near each other
・ Logical depth
・ Logical Design Works
・ Logical determinism
・ Logical disjunction
・ Logical disk
・ Logical Disk Manager
・ Logical effort
・ Logical equality
・ Logical equivalence
・ Logical equivalent
・ Logical extreme
・ Logical Form
・ Logical form
・ Logical framework
・ Logical framework approach
Logical functor
・ Logical graph
・ Logical harmony
・ Logical hexagon
・ Logical holism
・ Logical Information Machines
・ Logical Investigations
・ Logical Investigations (Husserl)
・ Logical line of operation
・ Logical link control
・ Logical machine
・ Logical matrix
・ Logical Methods in Computer Science
・ Logical model
・ Logical NOR


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Logical functor : ウィキペディア英語版
Logical functor
In the foundations of mathematics, a logical functor is a functor between toposes which preserves the topos structure.〔(logical functor ) in nLab〕
==Properties==
Logical functors preserve all of the following:
* Finite limits
* Finite colimits
* Exponentials
* Power objects
* Subobject classifiers

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Logical functor」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.